es-trigger(es;i;knd;ds;f)(e)
== if kind(e) = knd  loc(e) = i then 'f((state when e),val(e))' else inr   fi  

latex

---

clarification:

es-trigger(es;i;knd;ds;f)(e)
== if es-kind(es; e) = knd  es-loc(es; e) = i
== then 'f(es-state-when(es;e),es-val(es; e))'
== else inr  
== fi  

latex

Definitions	x.A(x), if b then t else f fi , p  q, a = b, kind(e), a = b, loc(e), f(a), (state when e), val(e), inr x ,
FDL editor aliases	es-trigger